Fuzzy Array Data--ow Analysis Part Ii: Recursive Programs
نویسنده
چکیده
This paper addresses the data-ow analysis of access to arrays in recursive imperative programs. When no assumption is made on recursion predicates, only approximate (\fuzzy") ow information can be hoped for in the general case. However, we introduce a new data-ow framework, based on push-down automata and, equivalently, on context-free grammars, and show that this framework allows to describe the set of possible sources with maximal precision.
منابع مشابه
Array Data--ow Analysis for Imperative Recursive Programs
Data-ow analysis is extremely important to detect parallelism. Therefore, the current lack of suitable analysis makes recursion in the control ow still an open problem in automatic parallelization. This paper presents a novel data-ow analysis for imperative recursive programs. The data-ow sources are represented by closed forms expressions, parametrized with an index on the current node in the ...
متن کاملFuzzy Array Data ow Analysis
Dataaow analyses track the deenitions and uses of variable values, and are useful to optimizing and parallelizing compilers. Such analyses compute, for every (array cell) value read in a right-hand-side expression, the very operation which produced it. These analyses, however, make quite stringent hypotheses on the input programs: the control ow should be known at compile-time (i.e., static), a...
متن کاملData Flow Analysis of Recursive
Most imperative languages only ooer arrays as \\rst-class" data structures. Other data structures, especially recursive data structures such as trees, have to be manipulated using explicit control of memory, i.e., through pointers to explicitly allocated portions of memory. We believe that this severe limitation is mainly due to historical reasons, and this paper will try and demonstrate that m...
متن کاملApplicability of Algebraic Transductions to Data-Flow Analysis
Parallelization of recursive programs is still an open problem today, lacking suitable and precise static analyses. This article presents a novel data ow analysis framework based on push-down (a.k.a. algebraic) transducers. This technique achieves a global and precise description of the data ow and discovers important semantic properties of the programs. Future fruitful research, at the crossro...
متن کاملIdentifying and Prioritizing Sustainable Outsourcing Risk with Fuzzy Type II Data (Case Study: National Company for Southern Oilfields)
The purpose of this research is Identifying and Prioritizing Sustainable Outsourcing Risk with Fuzzy Type II Data in National Company for Southern Oilfields. This research was a Mix methodology and used qualitative and quantitative analytical processes to collect and analyze data. In the qualitative part, meta-analysis was first used to identify its components and themes to assess the risk of s...
متن کامل